Inherent Complexity of Recursive Queries
نویسندگان
چکیده
منابع مشابه
Chase of Recursive Queries
In this work, we present a semantic query optimization technique to improve the efficiency of the evaluation of a subset of SQL:1999 recursive queries. Using datalog notation, we can state our main contribution as an algorithm that builds a program P ′ equivalent to a given program P , when both are applied over a database d satisfying a set of functional dependencies. The input program P is a ...
متن کاملInherent logic and complexity
The old intuitive question ”what does the machine think” at different stages of its computation is examined. Our paper is based on the formal definitions and results which are collected in the branching program theory around the intuitive question ”what does the program know about the contents of the input bits” [1],[2],[3],[4],[5]. We further develop these results above and we present a formal...
متن کاملAnswering Recursive Queries Using
We consider the problem of answering datalog queries using materialized views. The ability to answer queries using views is crucial in the context of information integration. Previous work on answering queries using views restricted queries to being conjunctive. We extend this work to general recursive queries: Given a datalog program P and a set of views, is it possible to nd a datalog program...
متن کاملUsable Recursive Queries
Recursive queries are required for many tasks of database applications. Among them we can mention Bill-Of-Material (BOM), various kinds of networks (transportation, telecommunication, etc.), processing semistructured data (XML, RDF), and so on. The support for recursive queries in current query languages is limited. In particular, this concerns corresponding extensions of SQL in Oracle and DB2 ...
متن کاملAbstract Interpretation of Recursive Queries
Interpretation of Recursive Queries Agostino Cortesi and Raju Halder 1 DAIS, Università Ca’ Foscari Venezia, Italy [email protected] 2 Dept. of Comp. Sc. & Engg., Indian Institute of Technology Patna, India Abstract. In this paper, we extend recent works on concrete and abstract semantics of structured query languages by considering recursive queries too. We show that combining abstraction of da...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 2002
ISSN: 0022-0000
DOI: 10.1006/jcss.2001.1806